/// \file dlog_test.cpp.
///============================================================================\n
/// Name        : dlog_test.cpp\n
/// Author      : Gergely Lukacsy (info@dlog-reasoner.org)\n
/// Version     : 0.01\n
/// Copyright   : DERI\n
/// Description : Automated testing of the DLog2 framework.\n
///
/// This file is part of the DLog 2 project.\n
///============================================================================
#include <iostream>
#include <DParser/dparser_interface.h>
#include <gtest/gtest.h>

using namespace std;

TEST(ParserTest, NoUnresolvedHook) {
	// create an SROIQ knowledge base
	SROIQKB* pMyKnowledgeBase = new SROIQKB();

	// name of the input ontology file
	char* pFileName = "..\\..\\..\\samples\\data\\Iocaste\\c4.owl";

	// construct an OWL parser object, initialize it with my knowledge base
	OWLPARSER parser(pFileName, false, pMyKnowledgeBase);

	// parse the content of the file into pMyKnowledgeBase
	parser.parseOWL();

	// check if there has been any unresolved hook invocation
	ASSERT_TRUE(parser.getNrUnparsedElements() == 0);
}


int main(int argc, char **argv) {
	::testing::InitGoogleTest(&argc, argv);
	int result = RUN_ALL_TESTS();
	return result;
}

